; TEST-ARGS: -disallow-ub-exploitation

define i8 @src(i8 %a) null_pointer_is_valid {
  ret i8 %a
}

define i8 @tgt(i8 %a) null_pointer_is_valid {
  ret i8 %a
}
